A Formal Model of SONET's Alarm-Surveillance Procedures and their Simulation

SONET is a standard for fiber-optics equipment. At Bellcore we have developed PHOTON, a research prototype software system for simulating a subset of SONET. PHOTON is intended to analyze interoperability, i.e. the ability of SONET equipment from different manufacturers to work with one another. This paper describes the implementation of PHOTON. The implementation was done using DMOD, a formalization of the powerful discrete-event modeling & simulation technique. The paper shows how complex abstractions of SONET were modeled compactly with DMOD. The paper concludes with an evaluation of DMOD especially w.r.t. existing discrete-event modeling & simulation systems.